sequent calculus - German English Dictionary